set theory in discrete mathematics